Towards Monitoring-Oriented Programming
نویسندگان
چکیده
منابع مشابه
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
With the explosion of software size, checking conformance of implementation to specification becomes an increasingly important but also hard problem. Current practice based on ad-hoc testing does not provide correctness guarantees, while highly confident traditional formal methods like model checking and theorem proving are still too expensive to become common practice. In this paper we present...
متن کاملTowards Interactive Object-Oriented Programming
To represent interactive objects, we propose a choice-disjunctive declaration statement of the form S⊔R where S,R are the (procedure or field) declaration statements within a class. This statement has the following semantics: request the user to choose one between S and R when an object of this class is created. This statement is useful for representing interactive objects that require interact...
متن کاملMonitoring Oriented Programming - A Project Overview
This paper gives a brief overview of Monitoring Oriented Programming (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined...
متن کاملTowards Building Blocks for Agent-Oriented Programming
The main concern of this thesis is multi-agent programming, which is preoccupied with the question how to practically distribute intelligence?, and thus belongs to the artificial intelligence branch of computer science. To be more precise, the focus of this thesis lies on BDI-based multi-agent programming. This means programming agents that have mental states (beliefs, desires and intentions) a...
متن کاملTowards Reactive Programming for Object-Oriented Applications
Reactive applications are difficult to implement. Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO design. On the other hand, reactive approaches based on automatic updates of dependencies – like functional reactive programming and dataflow languages – provide undoubted advantages bu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)81045-4